// { dg-additional-options "-fmodules -fno-module-lazy" }

#include "tls-3.h"
import "tls-3_a.H";
